Reasoning about cases with diagrams
نویسندگان
چکیده
This paper investigate how diagrams can be used as indices and queries in a case based functional design environment. Case bases for functional design need diagramming support for two reasons: First, most designers prefer to sketch early design ideas with a pen. They sketch diagrams to explore possible adaptations of old cases to current design tasks. Second, functional design tasks that deal with layout configuration such as arranging pipes and wires for building facilities often benefit from previous successful or failure cases. Therefore, we are developing an interactive tool called the Electronic Cocktail Napkin to enable designers to index, access, and adapt case knowledge for design using diagrams. The Napkin program has links to a case based design aid Archie to support reasoning with diagrams for case retrieval.
منابع مشابه
Rewriting Context-free Families of String Diagrams
String diagrams provide a convenient graphical framework which may be used for equational reasoning about morphisms of monoidal categories. However, unlike term rewriting, which is the standard way of reasoning about the morphisms of monoidal categories, rewriting string diagrams results in shorter equational proofs, because the string diagrammatic representation allows us to formally establish...
متن کاملReasoning Visually about Spatial Interactions
This paper is concerned with how diagrams can be used for reasoning about spatial interactions of objects. We describe a computational approach that emulates the human capability of predicting interactions of simple objects depicted in two dimensional diagrams. Three core aspects of this approach are a visual representation scheme that has symbolic and imaginal parts, the use of visual processe...
متن کاملDiagrammatic Reasoning in Scientific Discovery: Modelling Galileo’s Kinematic Diagrams
Diagrams are ubiquitous in scientific discovery and scientific reasoning. The uses of diagrams are studied by examining their role in Galileo’s work on kinematics and the computational benefits of reasoning with diagrams are investigated by comparing computational models of conventional and diagrammatic approaches to discovery. Diagrams provide a convenient form of representation for experiment...
متن کاملDiagrams about Thoughts about Thoughts about Diagrams
The study of diagrammatic reasoning often focuses on computational models of diagram use rather than on studies of human performance. This paper considers diagrams as a notational system that can be used and studied in an experimental context. It presents a review of the experimental psychology literature rather than a complete theoretical framework, and is intended as an introduction to the fi...
متن کاملTheories of ·Visual and Diagrammatic Reasoning: Foundational Issues
Theories of visual and diagrammatic reasoning typically seek to account for either the formal semantics of diagrams, or for the advantages which visual representations hold for the reasoner over other forms of representation. Regrettably, almost no theory ex.ists which accounts for both of these issues together, nor how they affect one another. We do not attempt to provide such an account here....
متن کامل